Nuprl Definition : es-snds-index
0,22
postcript
pdf
snds(
l
, before(
e
,
n
)) == snds(
l
;before(
e
)) @ firstn(
n
;sends(
l
;
e
))
latex
clarification:
es-snds-index(
es
;
l
;
e
;
n
) == es-snds(
es
;
l
;
e
) @ firstn(
n
;es-sends(
es
;
l
;
e
))
latex
Definitions
sends(
l
;
e
)
,
firstn(
n
;
as
)
,
snds(
l
;before(
e
))
,
as
@
bs
FDL editor aliases
es-snds-index
origin